Design methods

Results: 3925



#Item
481Logic in computer science / Electronic design automation / Formal methods / NP-complete problems / Model theory / Satisfiability Modulo Theories / Satisfiability / Boolean satisfiability problem / Decision problem / Theoretical computer science / Mathematics / Mathematical logic

Universidad de Buenos Aires Facultad de Ciencias Exactas y Naturales ´n Departamento de Computacio A study of the Combination Problem:

Add to Reading List

Source URL: dc.uba.ar

Language: English - Date: 2014-11-21 09:25:33
482Software testing / Evaluation methods / Tests / Science / Evaluation / Iterative design / Task analysis / Usability engineering / Usability inspection / Usability / Human–computer interaction / Human–computer interaction

Posted by permission from student. Do not copy or reproduce. Usability Evaluation and Testing for Inspiration® Peggy J. Lau MMIS680 Human Computer Interaction Graduate School of Computer and Information Sciences

Add to Reading List

Source URL: www.scis.nova.edu

Language: English - Date: 2002-11-26 10:41:08
483Evaluation methods / Educational psychology / Academic transfer / Educational technology / Formative assessment / Peer assessment / Online assessment / Rubric / E-learning / Education / Evaluation / Knowledge

Large Class Assessment Assessing Large Class Assessing large class has posed significant limitation on curriculum design. Due to time and resources constraints, teachers often use less time-demanding assessment methods w

Add to Reading List

Source URL: ar.cetl.hku.hk

Language: English - Date: 2010-02-03 04:20:42
484Design / Technical communication / Evaluation methods / User experience / Jakob Nielsen / User-centered design / Interaction design / User / User interface design / Usability / Human–computer interaction / Human–computer interaction

Dimensions of Usability: Defining the Conversation, Driving the Process Whitney Quesenbery Whitney Interactive Design ABSTRACT

Add to Reading List

Source URL: wqusability.com

Language: English - Date: 2008-07-27 12:06:33
485Scientific method / Evaluation methods / Research methods / Design of experiments / Statistics / Data analysis / Usability / Data collection / Observation / Science / Information / Knowledge

Journal of Special Education Technology Research and Practice Associate Editor’s Column

Add to Reading List

Source URL: pantherfile.uwm.edu

Language: English - Date: 2008-08-11 22:26:24
486Knowledge / Design of experiments / Epidemiology / Evaluation methods / Medical statistics / Randomized controlled trial / Meta-analysis / Clinical trial / Evidence-based medicine / Science / Research / Clinical research

Trials BioMed Central Study protocol

Add to Reading List

Source URL: www.trialsjournal.com

Language: English
487Ada programming language / Software architecture / Systems architecture / Formal methods / Ada / SPARK / Architecture Analysis & Design Language / Ravenscar profile / Real-time computing / Computing / Software engineering / Computer programming

i i “program” — — 10:23 — page 1 — #1 i

Add to Reading List

Source URL: www.cs.york.ac.uk

Language: English - Date: 2005-05-10 08:56:12
488Evaluation methods / Problem solving / Market research / Statistical inference / Research / Creativity / Experiment / Confidence interval / Statistics / Science / Design of experiments

! IIT  Academy  Science  Fair  2014   Elementary  Division  Rubric  –  Grade  1  to  7    

Add to Reading List

Source URL: iitacademy.ca

Language: English - Date: 2014-02-26 14:44:55
489Evaluation methods / Analysis of variance / Restricted randomization / Repeated measures design / Hippocampus / Multivariate analysis / Univariate / Short-term memory / Experiment / Statistics / Design of experiments / Science

StatMULTIVARIATE RESPONSES MarCharlotte Wickham

Add to Reading List

Source URL: stat512.cwick.co.nz

Language: English - Date: 2015-03-03 12:52:15
490Formal methods / Constraint programming / Electronic design automation / Logic in computer science / NP-complete problems / Satisfiability Modulo Theories / Boolean satisfiability problem / Linear programming / Mathematical optimization / Theoretical computer science / Applied mathematics / Mathematics

νZ - Maximal Satisfaction with Z3 Nikolaj Bjørner1 and Anh-Dung Phan2∗ 1 2 Microsoft Research

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2014-10-16 19:21:04
UPDATE